Update map_domain_page() documentation (mappings may only be
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 10 Jan 2006 17:53:44 +0000 (18:53 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 10 Jan 2006 17:53:44 +0000 (18:53 +0100)
commit8aa806e0b1bd15ac97bcd43d77f46be5c03e07ff
treef0befe51f4d61ec88ae3fc0fca03158a1581351e
parentaf58611df658bf42f7d9bb2ff8373dfba3a778ee
Update map_domain_page() documentation (mappings may only be
be used within the mapping vcpu). Implement TLB flush
filtering on the per-domain mapcache.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/x86_32/domain_page.c
xen/include/asm-x86/domain.h
xen/include/xen/domain_page.h